Study of Consistency Checking by UML/OCL Tool

doi:10.3969/j.issn.1006-2475.2009.12.017

Computer and Modernization ›› 2009, Vol. 1 ›› Issue (12): 63-67.doi: 10.3969/j.issn.1006-2475.2009.12.017

• 软件工程 • Previous Articles Next Articles

Study of Consistency Checking by UML/OCL Tool

YOU Hao-dan, ZHU Hong

School of Computer, National University of Defense Technology, Changsha 410073, China

Received:2009-05-18 Revised:1900-01-01 Online:2009-11-27 Published:2009-11-27

Abstract

Abstract: UML is extensively applied as a common visual modeling language. But the consistency problems of UML models limit the availability of using UML in the software development. This article introduces some notions about UML model consistency, and proposes an approach to checking UML model consistency by using OCL expressions to describe consistency rules. The consistency checking tool can analyze the UML model, check the syntax of OCL expressions, and check the model consistency.

Key words: UML, OCL, model consistency, constraint, consistency checking, tool

CLC Number:

TP311.5

YOU Hao-dan;ZHU Hong. Study of Consistency Checking by UML/OCL Tool[J]. Computer and Modernization, 2009, 1(12): 63-67.

[1]	XU Ya-xin, HE Ze-en, XU Xu-kan. Automatic Classification Method of CNC Machine Tool Fault Text Based on CNN-BiLSTM [J]. Computer and Modernization, 2023, 0(04): 7-14.
[2]	XU Sheng-chao, YE Li-hong. Container Cloud Queue Online Task Dynamic Allocation Based on Long Short-term Memory Neural Network [J]. Computer and Modernization, 2022, 0(07): 79-84.
[3]	WANG Ke-yang, ZHANG Yao, LI Ke-wen, ZHANG Bao-qian, LI Jiang, REN Jie-wen. On-line Detection System of CNC Tool Breakage Based on Attention-LSTM [J]. Computer and Modernization, 2022, 0(05): 68-74.
[4]	WANG Cheng, CHEN Zheng-ming, LYU Jia. Optimal Algorithm of Remaining Space for 3D Packing Problem of Paperboard [J]. Computer and Modernization, 2021, 0(03): 28-34.
[5]	GUO Jin-ping, BIAN Ruo-peng. Design of Data-Driven Fault Detection Toolbox in MATLAB Environment [J]. Computer and Modernization, 2021, 0(01): 81-86.
[6]	HUANG Xin-chen, GAO Jun, HUANG Hao-jie. Semi-supervised Clustering Ensemble with Pairwise Constraints Based on PCA Dimension Reduction [J]. Computer and Modernization, 2021, 0(01): 94-99.
[7]	LI Yun-chuan, WANG Xiao-hong, CHEN Si-ji, GE Yi-pan, LI Chuang. A Point Cloud Registration Algorithm Based on Multi-core Parallel and Dynamic Threshold [J]. Computer and Modernization, 2020, 0(09): 77-82.
[8]	XU Xiao-yuan, LI Hai-bo, YU Ben-cheng, LIU Fang. Semi-supervised Overlapping Community Finding with Pairwise Constraints [J]. Computer and Modernization, 2020, 0(08): 63-68.
[9]	XIAO Zhi-cai， YIN Gao-yang， YAN Shi . A Cyclic Optimizing RRT Algorithm for UAV Path Planning [J]. Computer and Modernization, 2020, 0(02): 16-.
[10]	FANG Wei, XU Tao, YAN Wen-jun, ZHANG Bing-qiang. Design of Simulation Deploying Tools for Distributed Simulation Environment [J]. Computer and Modernization, 2019, 0(05): 69-.
[11]	FAN Xin-nan, GU Ya-fei, NI Jian-jun. Application of Improved ORB Algorithm in Image Matching [J]. Computer and Modernization, 2019, 0(02): 1-.
[12]	SUN Yi1, YANG Xiao-hua1, LIU Jie1, YU Tong-lan1, WU Zhi-qiang2, CHEN Zhi2. Test Case Generation Techniques Based on Constraints Presented as Boolean Expressions [J]. Computer and Modernization, 2019, 0(01): 86-.
[13]	LI Guo-ping， XING Jian-chun, WANG Shi-qiang. Decentralized Parallel Kalman Filter for Multi-sensor System with State Constraints [J]. Computer and Modernization, 2018, 0(12): 1-.
[14]	ZHOU Bo1， LI Ya-qiong1， LIU Yong-bo1， LI Shou-chao1， SONG Yun-kui2. Deadline Constrained MapReduce Jobs Scheduling for Cloud Computing [J]. Computer and Modernization, 2018, 0(11): 51-.
[15]	DONG Guo-Liang1,2, ZANG Lie1, LI Hang1, GAN Lu1. A Path Automatic Generation Method for Dynamic Taint Analysis [J]. Computer and Modernization, 2017, 0(7): 32-37+41.

Study of Consistency Checking by UML/OCL Tool

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics

Comments